enumerables

Mira otros diccionarios:

• RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… …   Encyclopédie Universelle

• Ensemble récursivement énumérable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… …   Wikipédia en Français

• Langage partiellement décidable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… …   Wikipédia en Français

• Recursivement enumerable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… …   Wikipédia en Français

• Récursivement énumérable — En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d une fonction calculable (il faut ajouter l ensemble vide à la dernière… …   Wikipédia en Français

• Théorème de Rice — En théorie de la calculabilité, le théorème de Rice dit que toute propriété non triviale (c’est à dire qui n est pas toujours vraie ou toujours fausse) sur la sémantique dénotationnelle d un langage de programmation Turing complet est indécidable …   Wikipédia en Français

• Théorème de rice — En théorie de la calculabilité, le théorème de Rice dit que toute propriété non triviale (c’est à dire qui n est pas toujours vraie ou toujours fausse) sur la sémantique dénotationnelle d un langage de programmation Turing complet est indécidable …   Wikipédia en Français

• Lenguaje recursivamente enumerable — En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing computable. Son conocidos como lenguajes tipo 0 en la Jerarquía de Chomsky.… …   Wikipedia Español

• Hierarchie arithmetique — Hiérarchie arithmétique En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Kleene est une hiérarchie des sous ensembles de l ensemble N des entiers naturels définissables dans le …   Wikipédia en Français

• Hiérarchie Arithmétique — En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Kleene est une hiérarchie des sous ensembles de l ensemble N des entiers naturels définissables dans le langage du premier… …   Wikipédia en Français

• Hiérarchie arithmétique — En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Kleene est une hiérarchie des sous ensembles de l ensemble N des entiers naturels définissables dans le langage du premier… …   Wikipédia en Français